general lower derivative

一般下导数